*** empty log message ***

diff --git a/lib-src/ChangeLog b/lib-src/ChangeLog
index 4f0c6a07002c38f00209a0b80a4a029ddd37de9d..be772d81835194a933e427b2f8ce906b285a37fb 100644 (file)
--- a/lib-src/ChangeLog
+++ b/lib-src/ChangeLog
@@ -1,3 +1,8 @@
+2002-12-18  Andrew Innes  <andrewi@gnu.org>
+
+       * makefile.w32-in ($(DOC)): Use -o and -a options to make-docfile,
+       because GNU make doesn't append when using >> redirection.
+
 2002-12-12  Jonathan Kamens  <jik@kamens.brookline.ma.us>
 
        * b2m.pl: Make sure every message ends with a blank line, because